Concurrent Systems – Bücher, CDs, DVDs und mehr

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Concurrent Systems" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 89,80

Devs

Die Originalmusik zu »Devs« von Ben Salisbury, The Insects und Geoff Barrow ist als 2xCD oder 3xLP erhältlich. Die Doppel-CD ist in einem 6-Panel-Digipack verpackt.

lieferbar innerhalb von 3 Tagen
2 CDs
 
Vorheriger Preis EUR 18,99, reduziert um 10%
Aktueller Preis: EUR 16,99

Devs (Original Series Soundtrack)

Die Originalmusik zu »Devs« von Ben Salisbury, The Insects und Geoff Barrow ist als 2xCD oder 3xLP erhältlich. Die Doppel-CD ist in einem 6-Panel-Digipack verpackt.

lieferbar in mind. 4 Wochen
3 LPs
 
Aktueller Preis: EUR 36,99

Edison - Ein Leben voller Licht

Amerika kurz vor Beginn des 20. Jahrhunderts: Thomas Edison, einer der genialsten Erfinder aller Zeiten, steht kurz davor, zum ersten Mal einen ganzen Straßenzug in Manhattan mit elektrischem Licht zu erl…

Artikel am Lager
DVD
 
Aktueller Preis: EUR 7,99

Wolfgang Schreiner
Thinking Programs

Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Compu…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 74,66

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 142,37

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 164,28
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.